لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
بهزاد سلیمانی نیسیانی
محمد ایزدی
علی موقر
سید مرتضی بابامیر
نتایج 1 تا 10 از مجموع 15
1
2
مقاله ژورنالی
Verification of Rainfall Forecasts for the South Central Climate Region of Vietnam
نویسندگان:
Van Thang Nguyen
،
Mai Van Khiem
،
Hoang-Minh Nguyen
،
Vu Van Thang
سال انتشار 1399
محل انتشار:
مجله فیزیک زمین و فضا شماره 4، دوره 46
تعداد صفحات:
12
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه
نویسندگان:
رضا رافع
،
فاطمه یوسفی فرد
،
سیده زینب حسینی کب
سال انتشار 1394
محل انتشار:
مجله علمی پژوهشی دانشگاه علوم پزشکی ایلام شماره 3، دوره 23
تعداد صفحات:
13
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
Design and verification of WM protocol for Electronic Commerce Transactions
نویسندگان:
K.V Krishnamraju
سال انتشار 1399
محل انتشار:
فصلنامه بین المللی مهندسی صنایع و تحقیقات تولید شماره 2، دوره 31
تعداد صفحات:
16
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
نویسندگان:
N. Rezaee
،
H. Momeni
سال انتشار 1399
محل انتشار:
مجله هوش مصنوعی و داده کاوی شماره 2، دوره 8
تعداد صفحات:
11
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
EMF-DEVS Simulation Models Validation Formalism based on the Fractal Theory
نویسندگان:
Abbas MahmoodiMarkid
،
Narmin Zarrin Abadi
سال انتشار 1398
محل انتشار:
سومین کنفرانس بین المللی محاسبات نرم
تعداد صفحات:
6
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Formal Verification of UML Statecharts using the LOTOS Formal Language
نویسندگان:
Mohamad Javani
،
Behzad Soleimani Neysiani
،
Seyed Morteza Babamir
سال انتشار 1394
محل انتشار:
دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری
تعداد صفحات:
7
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Improving Verification of Dense Markov Decision Processes
نویسندگان:
Mohammadsadegh Mohagheghi
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی یافته های نوین پژوهشی در علوم،مهندسی و فناوری با محوریت پژوھشھای نیاز محور
تعداد صفحات:
7
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
Accelerating of Modified Policy Iteration in Probabilistic Model Checking
نویسندگان:
Mohammadsadegh Mohagheghi
سال انتشار 1394
محل انتشار:
کنفرانس بین المللی یافته های نوین پژوهشی در علوم،مهندسی و فناوری با محوریت پژوھشھای نیاز محور
تعداد صفحات:
6
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله ژورنالی
Presenting a New Text-Independent Speaker Verification System Based on Multi Model GMM
نویسندگان:
Mohammad Mosleh
،
Faraz Forootan
،
Najmeh Hosseinpour
سال انتشار 1393
محل انتشار:
مجله پیشرفت در تحقیقات کامپیوتری شماره 4، دوره 5
تعداد صفحات:
12
| زبان: انگلیسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
رویکردی تازه بهدرستی یابی ویژگیهای توصیف شده در حساب : Mu استفاده از نظریه خودکار ها
نویسندگان:
محمد ایزدی
،
علی موقر
سال انتشار 1381
محل انتشار:
هشتمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
نتایج 1 تا 10 از مجموع 15
1
2